and Models of Computer Programming - PDFSEARCH.IO - Document Search Engine

and Models of Computer Programming
Results: 208

#	Item
81	In and Out of SSA: A Denotational Specification Sebastian Pop, Pierre Jouvelot†, Georges-Andr´e Silber† Open Source Compiler Engineering, Advanced Micro Devices Inc., Austin, Texas, † ´ CRI, Ecole Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-06-03 03:55:11 Logic in computer science Programming language semantics Models of computation Formal methods Procedural programming languages Static single assignment form Denotational semantics Continuation-passing style Statement Software engineering Computing Theoretical computer science
82	Automatic Streamization of Image Processing Applications Pierre Guillou, Fabien Coelho, and François Irigoin MINES ParisTech, PSL Research University Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 10:48:46 Models of computation Programming paradigms Massively parallel processor array Dataflow architecture Dataflow programming Multi-core processor Dataflow Very long instruction word Directed acyclic graph Computing Parallel computing Computer architecture
83	Definition of Science: The observation, identification, description, experimental investigation, and theoretical explanation of phenomena. Computational Science What? Add to Reading List Source URL: www.challenge.nm.org Language: English - Date: 2005-10-23 11:45:58 Applied mathematics Models of computation Computational science Computational model StarLogo Mathematical model Mathematics Fortran Scientific modelling Computing Computer programming Software engineering
84	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:28 Theoretical computer science Computability theory Turing machine Recursion Models of computation Lambda calculus Programming language Lisp Computability Software engineering Computing Computer programming
85	International Journal of Database Theory and Application Vol. 5, No. 1, March, 2012 A Comparative Analysis of Array Models for Databases Peter Baumann and Sönke Holsten Jacobs University, DBremen, Germany Add to Reading List Source URL: www.sersc.org Language: English - Date: 2012-04-02 12:39:48 Arrays Data types Database management systems Database theory Array data type Array data structure Peter Baumann Array Sparse array Computing Software engineering Computer programming
86	OAMulator: A Teaching Resource to Introduce Computer Architecture Concepts FILIPPO MENCZER and ALBERTO MARIA SEGRE The University of Iowa The OAMulator is a Web-based resource to support the teaching of instruction set Add to Reading List Source URL: carl.cs.indiana.edu Language: English - Date: 2014-09-06 23:26:54 Central processing unit Programming language implementation Compiler construction Machine code Models of computation Stack machine Assembly language NOP Compiler Computing Software engineering Computer architecture
87	On Adversary Models and Compositional Security Anupam Datta, Jason Franklin, Deepak Garg, Limin Jia and Dilsun Kaynar Carnegie Mellon University Abstract We present a representative development in the science of security Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Cryptographic protocols Object-oriented programming Communications protocol Data transmission Protocols Trusted system Cryptography Universal composability Computer security Computing Security Data
88	invited paper in Proc. of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005 Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng? Center for Hybrid and Emb Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2005-03-05 16:31:49 Models of computation Programming language semantics Logic in computer science Control theory Signal processing Denotational semantics Hybrid system Scicos Operational semantics Theoretical computer science Mathematics Applied mathematics
89	A Dataflow System with a Local Optima-based Scheduling for Enterprise Grids Chao Jin and Rajkumar Buyya Grid Computing and Distributed System Laboratory Department of Computer Science and Software Engineering The Univers Add to Reading List Source URL: www.cloudbus.org Language: English - Date: 2007-11-18 22:19:31 Scheduling algorithms Programming paradigms Computer data Dataflow Scheduling Directed acyclic graph Parallel computing Thread Dataflow architecture Computing Computer architecture Models of computation

UPDATE